(0 13 10)(1 19 5)(2 20 16)(3 14 12)(4 9 7)(6 18 8)(11 17 15)
ALLOWS (11/8)-SEQUENCE
1: (0 13 17)
(0 15 11 17 10)(1 19 5)(2 20 16)(3 14 12)(4 9 7)(6 18 8)(13)
2: (11 17 15)
(0 15 10)(1 19 5)(2 20 16)(3 14 12)(4 9 7)(6 18 8)(11)(13)(17)
3: (3 14 12)
(0 15 10)(1 19 5)(2 20 16)(3)(4 9 7)(6 18 8)(11)(12)(13)(14)(17)
4: (2 20 16)
(0 15 10)(1 19 5)(2)(3)(4 9 7)(6 18 8)(11)(12)(13)(14)(16)(17)(20)